Natural deduction in a paracomplete setting
نویسندگان
چکیده
منابع مشابه
Natural Deduction System in Paraconsistent Setting: proof search for PCont
This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the ‘deductive explosion’, i.e., where formulae of the type ‘A follows from false’, for any ...
متن کاملA Natural Extension of Natural Deduction
One of the main ideas of calculi of natural deduction, as introduced by Jaskowski and Gentzen, is that assumptions may be discharged in the course of a derivation. As regards sentential logic, this conception will be extended in so far as not only formulas but also rules may serve as assumptions which can be discharged. The resulting calculi and derivations with rules of any finite level are in...
متن کاملA Deficiency of Natural Deduction
Natural languages are ill-suited to express mathematical reasoning. The purpose of an artificial language-predicate logic-with a deduction system is to enable us to express reasoning clearly and concisely. In this article we give two examples illustrating how Gentzen's system of 'natural de-duction' [2] fails to meet the case. In [1], the following problem is stated and solved: Given two casket...
متن کاملVariable declarations in natural deduction
We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. A...
متن کاملExperiments in Linear Natural Deduction
We investigate several fragments of multiplicative linear logic, in a natural deduction setting and with the aim of a better understanding of the par connective. We study, first, a pre-tensorial calculus, which is strengthened then in the standard tensorial fragment. The addition of a further pre-tensorial connective yields (a natural deduction version of) Full Intuitionistic Linear Logic. A fu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Investigations
سال: 2014
ISSN: 2413-2713,2074-1472
DOI: 10.21146/2074-1472-2014-20-0-222-245